Aztecs: An Interpretation

An Algorithm for Modeling and Interpretation of Seismoelectric Data

Generally speaking, seismoelectric modeling is a prospecting method based on seismic and electromagnetic waves, in which waves generated by a seismic source at the boundary of the two environments generate a relative fluid-solid motion formed as a result of antagonism between the elastic properties of the environment with the saturated fluid. This research has as its objective, a study of the e...

Kant on the "A priori" Toward an Interpretation

An Interpretation of the Verses of the Prophet`s Wives (with an Emphasis on New Objections)

The holy Qur'an has not spared of any subject having to do with human guidance in the path of ascension and growth. Some opponents, however, have claimed some of the Quranic discourses as being unnecessary and ineffective in the field. As they claim, the discussion of these topics may be taken as a sign against originality of the Qur'an. Among these are the verses on the marriage of Prophet Muh...

Retraction of an interpretation.

WE WRITE TO RETRACT AN INTERPRETATION IN our Report, “Contribution of human αdefensin 1, 2, and 3 to the anti–HIV-1 activity of CD8 antiviral factor” (1), wherein we demonstrated that human α-defensin 1, 2, and 3 account for much of the anti–HIV-1 activity of the CD8 antiviral factor (CAF) that is not attributable to β-chemokines. Although the antiviral activity of human αdefensin has not been ...

An Interpretation of Extensible Objects

We provide a translation of Fisher-Honsell-Mitchell's delegation-based object calculus with sub-typing into a-calculus with extensible records. The target type system is an extension of the system F ! of dependent types with recursion, extensible records and a form of bounded universal quantiication. We show that our translation is computationally adequate, that the typing rules of Fisher-Honse...